Axiom A

Results: 172



#Item
151Cross-platform software / Maple / Maplesoft / Macsyma / Sage / MuPAD / Maxima / Matrix / Function / Software / Computer algebra systems / Discontinued software

1 Introduction The following is a collection of synonyms for various operations in the computer algebra systems Axiom, Derive, GAP, Gmp, DoCon, Macsyma, Magnus, Maxima, Maple,

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2008-11-23 03:04:29
152Formal systems / Mathematical modeling / Applied mathematics / Interdisciplinary fields / Collective intelligence / Mathematical model / Axiom / Conceptual model / Scientific theory / Science / Ethology / Mathematics

Perspective on Mathematical Modeling applied mathematical model), it is important for a Christian to understand the assumptions and limitations of mathematical modeling. My second purpose is to present an article that is

Add to Reading List

Source URL: www.asa3.org

Language: English - Date: 2014-02-10 12:40:06
153Public safety / Prevention / Crime prevention / Auditing / Chief security officer / Information security / Security controls / ISO/IEC 27002 / TRAC / Security / Computer security / Data security

Organization of information security Internal organization Axiom: A structured management framework directs, monitors and controls the implementation of information security as a whole within

Add to Reading List

Source URL: www.iso27001security.com

Language: English - Date: 2012-10-04 07:40:50
154Axioms of set theory / Z notation / Urelements / Zermelo–Fraenkel set theory / Constructible universe / Axiom of choice / First-order logic / Axiom / Function / Mathematical logic / Logic / Mathematics

A New System of Axioms Instead of ZF (ver[removed]Use a Latin font such as Times New Roman, please.] [If not word-wrapped, see "Word-wrap" of HELP in your software.]

Add to Reading List

Source URL: hp.vector.co.jp

Language: English - Date: 2004-09-05 11:07:18
155Mathematics / Epistemic modal logic / Common knowledge / Dynamic logic / Modal operator / Model theory / Axiom / Logic / Mathematical logic / Modal logic

Logics of Communication and Change Johan van Benthem a Jan van Eijck b Barteld Kooi c a ILLC, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands & Philosophy Department, Stanford Univer

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2010-11-17 11:24:18
156Lebesgue measure / Structural stability / Homoclinic orbit / Invariant measure / Valentin Afraimovich / Measure-preserving dynamical system / Absolute continuity / Support / Axiom A / Mathematical analysis / Dynamical systems / Attractor

557 Doc. Math. J. DMV

Add to Reading List

Source URL: www.mathunion.org

Language: English - Date: 2012-04-18 10:55:31
157Z notation / Set theory / Axiom of choice / Well-ordering theorem / Well-order / Ernst Zermelo / Real number / Axiom / S / Mathematical logic / Mathematics / Logic

The Well-Ordering Theorem one of the Greatest Mathematical Controversies of All Time Recall that the set of natural numbers with the order < is well-ordered. In general, a

Add to Reading List

Source URL: math.uchicago.edu

Language: English - Date: 2011-10-20 18:46:28
158Complex dynamics / Fractals / Riemann surfaces / Functions and mappings / Siegel disc / Julia set / Schwarz lemma / Branch point / Axiom A / Mathematical analysis / Mathematics / Geometry

A NNALES SCIENTIFIQUES DE L’É.N.S. R. M AÑÉ

Add to Reading List

Source URL: archive.numdam.org

Language: English - Date: 2004-01-05 13:12:11
159Formal languages / Logical syntax / Metalogic / Model theory / Interpretation / Metamath / Axiom / Theorem / Principia Mathematica / Logic / Mathematics / Mathematical logic

A Formulation of the Simple Theory of Types Alonzo Church The Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), pp[removed].

Add to Reading List

Source URL: www.classes.cs.uchicago.edu

Language: English - Date: 2007-04-02 18:01:33
160Dynamical systems / Diffeomorphisms / Differential topology / Hyperbolic geometry / Axiom A / Stable manifold / Anosov diffeomorphism / Hyperbolic set / Embedding / Topology / Mathematics / Mathematical analysis

Centralizers of C 1-generic diffeomorphisms C. Bonatti, S. Crovisier and A. Wilkinson September 28, 2006

Add to Reading List

Source URL: www.math.uchicago.edu

Language: English - Date: 2006-09-28 06:59:55
UPDATE